Notes on Enriched Categories with Colimits of Some Class
نویسنده
چکیده
The paper is in essence a survey of categories having φ-weighted colimits for all the weights φ in some class Φ. We introduce the class Φ of Φ-flat weights which are those ψ for which ψ-colimits commute in the base V with limits having weights in Φ; and the class Φ− of Φ-atomic weights, which are those ψ for which ψ-limits commute in the base V with colimits having weights in Φ. We show that both these classes are saturated (that is, what was called closed in the terminology of [AK88]). We prove that for the class P of all weights, the classes P+ and P− both coincide with the class Q of absolute weights. For any class Φ and any category A, we have the free Φ-cocompletion Φ(A) of A; and we recognize Q(A) as the Cauchy-completion of A. We study the equivalence between (Q(Aop)) and Q(A), which we exhibit as the restriction of the Isbell adjunction between [A,V] and [Aop,V] when A is small; and we give a new Morita theorem for any class Φ containing Q. We end with the study of Φ-continuous weights and their relation to the Φ-flat weights.
منابع مشابه
Homotopy (limits And) Colimits
These notes were written to accompany two talks given in the Algebraic Topology and Category Theory Proseminar at the University of Chicago in Winter 2009. When a category has some notion of limits and colimits associated to it, its ordinary limits and colimits are not necessarily homotopically meaningful. We describe a notion of a “homotopy colimit” for two sorts of categories with a homotopy ...
متن کاملOn the Monadicity of Categories with Chosen Colimits
There is a 2-category J -Colim of small categories equipped with a choice of colimit for each diagram whose domain J lies in a given small class J of small categories, functors strictly preserving such colimits, and natural transformations. The evident forgetful 2-functor from J -Colim to the 2-category Cat of small categories is known to be monadic. We extend this result by considering not jus...
متن کاملHomotopy Limits and Colimits and Enriched Homotopy Theory
Homotopy limits and colimits are homotopical replacements for the usual limits and colimits of category theory, which can be approached either using classical explicit constructions or the modern abstract machinery of derived functors. Our first goal is to explain both and show their equivalence. Our second goal is to generalize this result to enriched categories and homotopy weighted limits, s...
متن کاملNotes on Commutation of Limits and Colimits
We show that there are infinitely many distinct closed classes of colimits (in the sense of the Galois connection induced by commutation of limits and colimits in Set) which are intermediate between the class of pseudo-filtered colimits and that of all (small) colimits. On the other hand, if the corresponding class of limits contains either pullbacks or equalizers, then the class of colimits is...
متن کاملHomotopy Locally Presentable Enriched Categories
We develop a homotopy theory of categories enriched in a monoidal model category V. In particular, we deal with homotopy weighted limits and colimits, and homotopy local presentability. The main result, which was known for simplicially-enriched categories, links homotopy locally presentable V-categories with combinatorial model V-categories, in the case where all objects of V are cofibrant.
متن کامل